﻿using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;

namespace NMF.Languages
{
    public interface ITypeSystem
    {
        IEnumerable<IType> Types { get; }

        IType GetType(string typeName);

        IClass GetCommonBase(IClass class1, IClass class2);

        void AssertDataType(DataType dataType);
    }
}
